$\forall$$A$, $B$:GrpSig. MonHom($A$,$B$) $\in$ Type